21. Il calcolatore universale :
پدیدآورنده : Martin Davis ; traduzione di Gianni Rigamonti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calcolo automatico-- Storia,Elaboratori elettronici-- Storia
22. Il calcolatore universale :
پدیدآورنده : Martin Davis ; traduzione di Gianni Rigamonti.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calcolo automatico-- Storia,Elaboratori elettronici-- Storia
23. Implementation of a Collaborative HIV and Hepatitis C Screening Program in Appalachian Urgent Care Settings
پدیدآورنده : Burrell, Carmen N.; Sharon, Melinda J.; Davis, Stephen M.; Wojcik, Elena M.; Martin, Ian B.K.,Burrell, Carmen N.; Sharon, Melinda J.; Davis, Stephen M.; Wojcik, Elena M.; Martin, Ian B.K.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
24. Improving patient care :
پدیدآورنده : edited by Richard Grol, Michel Wensing, Martin Eccles and David Davis.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Health care reform,Health Care Reform,Patient Care,Quality of Health Care,Health Care Reform,Medicine,Patient Care,Quality of Health Care
رده :
RA394
25. John Calvin /
پدیدآورنده : by Thomas J. Davis ; introductory essay by Martin E. Marty.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Calvin, Jean,1509-1564,Calvin, Jean,Calvin, Jean,1509-1564.,Reformation-- Switzerland-- Geneva, Biography, Juvenile literature.,Reformation.,Switzerland, Geneva., 7
رده :
BX9418
.
D32
2005
26. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
27. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده : \ Martin Davis, ... [et al.] (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer logic -- Congresses,Computer science,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر
رده :
QA
75
.
5
.
L66
2015
E-Book
,
28. Na logički pogon :
پدیدآورنده : Martin Davis; [prijevod Ljerka Vukić i Ognjen Strpić].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : računalniki -- matematična logika -- zgodovinski pregledi -- Leibnit -- Boolejeva logika -- simbolična logika -- teorija množic -- Turnigovi stroji -- pregledno delo
29. Practical injection molding
پدیدآورنده : Bernie A. Olmsted, Martin E. Davis,Title,Series
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Injection molding of plastics
رده :
TP
.
O47
1150
2001
30. Significant disability :
پدیدآورنده : edited by E. Davis Martin, Jr. ; with a foreword by John S. Oehler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : People with disabilities-- Government policy-- United States.,People with disabilities-- Mental health-- United States.,People with disabilities-- Rehabilitation-- United States.,Social work with people with disabilities-- United States.,Sociology of disability-- United States.,Disabled Persons-- United States.,Health Policy-- United States.,Human Rights-- United States.,Rehabilitation-- United States.,Social Support-- United States.,People with disabilities-- Government policy.,People with disabilities-- Mental health.,People with disabilities-- Rehabilitation.,SOCIAL SCIENCE-- People with Disabilities.,Social work with people with disabilities.,Sociology of disability.,United States., 7
رده :
HV1553
.
S555
2001
31. #Solvability, provability, definability
پدیدآورنده : #Martin Davis, editor
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Post, Emil Leon,- 1897-1954 ،Logic, Symbolic and mathematical
رده :
#
QA
،#.
P78
،#
1994
32. Solvability, provability, definability :
پدیدآورنده : Martin Davis, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Post, Emil Leon,1897-1954,Logic, Symbolic and mathematical
رده :
QA3
.
P78
1994
33. Sourcebook on contract law
پدیدآورنده : / David Oughton and Martin Davis
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : ق‍رارداده‍ا -- ان‍گ‍ل‍س‍ت‍ان
رده :
KD
۱۵۵۴
/
آ
۹
س
۹ ۱۳۷۹
34. Sourcebook on contract law
پدیدآورنده : David W. Oughton, Martin Davis
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Contracts -- England,، Contracts -- Wales,، Contrats -- Grande-Bretagne
رده :
KF
850
.
S475
2000
35. The project cool guide to HTML
پدیدآورنده : Glenn Davis and Teresa Martin
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : HTML)Document markup language(
رده :
QA
76
,.
76
.
M22P7
1997
36. The undecidable: basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Gedel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
2004
37. The undecidable : basic papers on undecidable propositions, unsolvable problems, and computable functions
پدیدآورنده : edited by Martin Davis
کتابخانه: (طهران)
موضوع : ، Godel's theorem,، Unsolvability )Mathematical logic(,، Recursive functions,، Turing machines,، Computable functions
رده :
QA
9
.
65
.
U53
38. The undecidable;basic papers on undecidable propositions, unsolvable problems and computable functions.
پدیدآورنده : Davis, Martin 8291-ed.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
229
.
6
.
D3
U5
1965
39. The universal computer : the road from Leibniz to Turing
پدیدآورنده : Davis, Martin, 8291-
کتابخانه: (طهران)
موضوع : History ، Electronic digital computers,Biography ، Mathematicians
رده :
QA
76
.
17
.
D29U5
2018
40. Universal Computer : The Road from Leibniz to Turing
پدیدآورنده : / Davis, Martin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ELECTRONIC&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ENGINEERING, ELECTRICAL
رده :
E-BOOK
